1. Proof Analysis: A Contribution to Hilbert's Last Problem
پدیدآورنده: Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: HISTORY,Religion and Philosophy
2. Proof analysis :
پدیدآورنده: Sara Negri, Jan von Plato
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
N438
2011
3. Proof analysis
پدیدآورنده: / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory
رده :
E-BOOK
4. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
5. Structural proof theory
پدیدآورنده: Negri, Sara, 7691-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N4S78
6. Structural proof theory
پدیدآورنده: / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Proof theory
رده :
QA9
.
54
.
N4S8
7. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory
رده :
511
N389s
8. Structural proof theory
پدیدآورنده: Negri, Sara,1967-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Proof theory
رده :
QA
9
.
54
.
N44
9. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
10. Structural proof theory
پدیدآورنده: Sara Negri, Jan von Plato; with an appendix by Aarne Ranta
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
